A = B(implements)
 + s
1
